nLab Serre duality

Context

Complex geometry

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

Serre duality in complex analytic geometry is the duality induced by the Hodge star operator on the Dolbeault complex. This generalizes to suitable non-singular projective algebraic varieties over other base rings.

Statement

In complex analytic geometry

Let XX be a Hermitian manifold of complex dimension dim (Σ)=ndim_{\mathbb{C}}(\Sigma) = n. Its Riemannian metric induces a Hodge star operator which acts on the pieces in the Dolbeault complex as

:Ω p,q(X)Ω nq,np(X) \star \colon \Omega^{p,q}(X)\to \Omega^{n-q, n-p}(X)

(see at Hodge star operator – On a Kähler manifold).

Moreover, complex conjugation gives \mathbb{C}-antilinear functions

()¯:Ω p,q(X)Ω q,p(X). \overline{(-)} \colon \Omega^{p,q}(X)\to \Omega^{q,p}(X) \,.
Definition

Write

¯()¯=()¯:Ω p,q(X)Ω np,nq(X) \bar \star \;\coloneqq\; \overline{(-)} \circ \star = \star \circ \overline{(-)} \;\colon\; \Omega^{p,q}(X)\to \Omega^{n-p, n-q}(X)

for the composite antilinear function.

e.g. (Huybrechts 04, def. 4.1.6)

Remark

By the basic properties of the Hodge star it follows that restricted to Ω p,q(X)\Omega^{p,q}(X)

¯¯=(1) p+q. \bar \star \circ \bar \star = (-1)^{p+q} \,.
Definition

For XX a compact Hermitian manifold, define a bilinear form

X()¯():Ω p,q(X)Ω np,nq(X) \int_X (-) \wedge \bar \star (-) \;\colon\; \Omega^{p,q}(X) \otimes \Omega^{n-p,n-q}(X) \longrightarrow \mathbb{C}

as the integration of differential forms

(α,β) Xα¯β (\alpha,\beta) \mapsto \int_X \alpha \wedge \bar \star \beta

of the wedge product of α\alpha with the image of β\beta under the complex conjugated Hodge star operator of def. .

Proposition

(Serre duality)

The pairing of def. induces a non-degenerate sesquilinear (i.e. hermitian) form on Dolbeault cohomology

X()¯():H p,q(X)H np,nq(X) \int_X (-) \wedge \bar \star (-) \;\colon\; \H^{p,q}(X) \otimes H^{n-p,n-q}(X) \longrightarrow \mathbb{C}

e.g. (Huybrechts 04, prop 4.1.15)

Properties

Relation to Poincaré duality

Remark

For Σ\Sigma a compact Kähler manifold the Hodge theorem gives an isomorphism

H k(X,)p+q=kH p,q(X) H^k(X, \mathbb{C}) \simeq \underset{p+q = k}{\oplus} H^{p,q}(X)

between the ordinary cohomology of the underlying topological space with coefficients in the complex numbers, and the direct sum of all the Dolbeault cohomology groups in the same total degree.

Therefore for Σ\Sigma of complex dimension dim (Σ)=ndim_{\mathbb{C}}(\Sigma)= n then Serre duality in the form of prop. induces an isomorphism in ordinary cohomology of the form

H k(X,)H 2nk(X,). H^k(X, \mathbb{C}) \stackrel{\simeq}{\longrightarrow} H^{2n-k}(X, \mathbb{C}) \,.
Proposition

The isomorphism in remark coincides with Poincaré duality.

References

Discussion in complex analytic geometry (Hermitian manifolds) includes

  • Daniel Huybrechts around prop. 4.1.15 of Complex geometry - an introduction. Springer (2004). Universitext. 309 pages. (pdf)

  • R.O. Wells, Differential Analysis on Compact Manifolds, Second Edition, Springer, 1980. 14

and review with emphasis on the case of Kähler manifolds includes

  • Julien Meyer, Hodge theory on Kähler manifolds (pdf)

Last revised on June 3, 2014 at 23:47:23. See the history of this page for a list of all contributions to it.